A New Method of Discovering Mathematical Proofs—Research Paper
نویسنده
چکیده
منابع مشابه
Mathematical Practice, Crowdsourcing, and Social Machines
The highest level of mathematics has traditionally been seen as a solitary endeavour, to produce a proof for review and acceptance by research peers. Mathematics is now at a remarkable inflexion point, with new technology radically extending the power and limits of individuals. Crowdsourcing pulls together diverse experts to solve problems; symbolic computation tackles huge routine calculations...
متن کاملLinearisation of w-Proofs: ANew Method of Generalisation within Automated Deduction
Generalisation is a major 'open' problem in theorem-proving which must often be addressed when attempting automation of proofs involving mathematical induction. This paper proposes a new, uniform method of generalisation, involving the transformation of proofs, which encompasses many different types of generalisation and which may succeed when other methods fail.
متن کاملProof Checking for Mathematical English
I am requesting funding for a summer research student. The topic is a software system to automatically verify the correctness of mathematical proofs, and more specifically, to verify proofs written in the stylized English of mathematical textbooks, papers, and monographs. Essentially, the goal is to go beyond spell-checking and grammar-checking to logic-checking. Since this would be the start o...
متن کاملDiscovering regularities from knowledge bases
Knowledge bases open new horizons for machine learning research. One challenge is to design learning programs to expand the knowledge base using the knowledge that is currently available. This paper addresses the problem of discovering regularities in large knowledge bases that contain many assertions in diierent domains. The paper begins with a deenition of regularities and gives the motivatio...
متن کاملTwo Computer-Supported Proofs in Metric Space Topology∗
Every mathematician will agree that the discovery, analysis, and communication of theorems and proofs is at the heart of his or her discipline. A number of computer programs (such as Maple or Mathematica) assist mathematicians in testing conjectures and proving certain kinds of theorems, typically identities involving rational functions or trigonometric polynomials. These systems, however, were...
متن کامل